4.2x10^9 kg